acm sigbed
|
emsoft
|
participants
Robby Lampert
EMSOFT 2011: 11th International Conference on Embedded Software
Model-Checking Behavioral Programs
David Harel
,
Robby Lampert
,
Assaf Marron
, and
Gera Weiss
10.1145/2038642.2038686
https://www.wisdom.weizmann.ac.il/~harel/papers/Model%20checking%20BP.pdf